Nuprl Definition : not 9,38
A == A  False 
latex

DefinitionsA, P  Q, False
FDL editor aliasesnot

origin